1. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
3. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
4. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
5. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1258
6. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
7. Constructivism in mathematics
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
8. Constructivism in mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constructive mathematics. ;
9. Constructivism in mathematics
پدیدآورنده : A.S. Troelstra, D. van Dalen,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
10. Constructivism in mathematics :
پدیدآورنده : A.S. Troelstra, D. van Dalen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics
رده :
QA9
.
56
.
T74
1988
11. Dirk van Dalen Festschrift
پدیدآورنده : Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
رده :
QA9
.
H465
1993
12. Foundations of set theory
پدیدآورنده : Fraenkel, Abraham Adolf, 1981-5691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Mathematics -- Philosophy
رده :
QA
248
.
F72F68
1973
13. Foundations of set theory
پدیدآورنده : Fraenkel, Abraham Adolf
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,Philosophy ، Mathematics
رده :
QA
248
.
F753
1973
14. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
15. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
16. Logic and Scientific Methods.
پدیدآورنده : Jaakko Hintikka
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science_xPhilosophy.
17. Logic and Structure
پدیدآورنده : Dirk Van Dalen
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Logic, symbolic and mathematical
18. Logic and Structure
پدیدآورنده : / Dirk van Dalen
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
19. Logic and Structure
پدیدآورنده : / Dirk Van Dalen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic Circuits.,Logic Design.
رده :
TK7888
,.
4
.
D
3
20. Logic and structur
پدیدآورنده : / Dirk van Dalen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
